Books by author Gilles Dowek

Showing 1 – 10 out of 10 results

1. 

   Principles of Programming Languages

   Gilles Dowek | Springer London Ltd, 2009

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   33.38 €

   Sale 9 %

   You save 3.55 €

   Buy
2. 

   Computation, Proof, Machine

   Gilles Dowek, Pierre Guillot, Marion Roman | Cambridge University Press, 2015

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   60.82 €

   Buy
3. 

   Age of Algorithms

   Serge Abiteboul, Gilles Dowek, K-Rae Nelson | Cambridge University Press, 2020

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   22.19 €

   Buy
4. 

   Rewriting and Typed Lambda Calculi

   Gilles Dowek | Springer International Publishing AG, 2014

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
5. 

   Computation, Proof, Machine

   Gilles Dowek, Pierre Guillot, Marion Roman | Cambridge University Press, 2015

   
   

   In stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Hardback

   111.77 €

   Buy
6. 

   Automated Reasoning

   Alessandro Armando, Peter Baumgartner, Gilles Dowek | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
7. 

   L'IA est-elle une chance ?

   APOLLINE GUILLOT, Miguel BENASAYAG, Gilles DOWEK, SOPHIE GHERARDI | PHILOSOPHIE MAG

   
   

   In stock at our supplier - Shipping in 14 - 17 days

   Language: French

   Binding: Paperback

   13.71 €

   Buy
8. 

   Theorem Proving in Higher Order Logics

   Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
9. 

   Age of Algorithms

   Serge Abiteboul, Gilles Dowek, K-Rae Nelson | Cambridge University Press, 2020

   
   

   Low in stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Hardback

   67.79 €

   Buy
10. 

    Higher-Order Algebra, Logic, and Term Rewriting

    Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.54 €

    Sale 7 %

    You save 4.27 €

    Buy

We inform you about all changes of your order. Find out more